Tăng quỹ 15 tháng 9 2024 – 1 tháng 10 2024 Về việc thu tiền
4
Martin Davis on Computability, Computational Logic, and Mathematical Foundations

Martin Davis on Computability, Computational Logic, and Mathematical Foundations

Eugenio G. Omodeo, Alberto Policriti (eds.)
Năm:
2016
Ngôn ngữ:
english
File:
PDF, 6.04 MB
0 / 0
english, 2016
5
Computable Set Theory

Computable Set Theory

Domenico Cantone, Alfredo Ferro, Eugenio Omodeo
Năm:
1990
Ngôn ngữ:
english
File:
PDF, 24.53 MB
0 / 0
english, 1990
7
Computational Logic and Set Theory: Applying Formalized Logic to Analysis

Computational Logic and Set Theory: Applying Formalized Logic to Analysis

Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo (auth.)
Năm:
2011
Ngôn ngữ:
english
File:
PDF, 2.40 MB
0 / 0
english, 2011
8
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets

Domenico Cantone, Eugenio Omodeo, Alberto Policriti
Năm:
2001
Ngôn ngữ:
english
File:
PDF, 11.92 MB
0 / 0
english, 2001
9
On Sets and Graphs: Perspectives on Logic and Combinatorics

On Sets and Graphs: Perspectives on Logic and Combinatorics

Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu
Năm:
2017
Ngôn ngữ:
english
File:
PDF, 1.57 MB
0 / 0
english, 2017
10
On Sets and Graphs: Perspectives on Logic and Combinatorics

On Sets and Graphs: Perspectives on Logic and Combinatorics

Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu
Năm:
2017
Ngôn ngữ:
english
File:
PDF, 6.77 MB
0 / 0
english, 2017
11
On Sets and Graphs: Perspectives on Logic and Combinatorics

On Sets and Graphs: Perspectives on Logic and Combinatorics

Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu
Năm:
2017
Ngôn ngữ:
english
File:
PDF, 3.89 MB
0 / 0
english, 2017